Query answering in resource-based answer set semantics
نویسندگان
چکیده
منابع مشابه
Query Answering in Resource-Based Answer Set Semantics
In recent work we defined resource-based answer set semantics, which is an extension to answer set semantics stemming from the study of its relationship with linear logic. In fact, the name of the new semantics comes from the fact that in the linear-logic formulation every literal (including negative ones) were considered as a resource. In this paper, we propose a query-answering procedure remi...
متن کاملA System for Interactive Query Answering with Answer Set Programming
Reactive answer set programming has paved the way for incorporating online information into operative solving processes. Although this technology was originally devised for dealing with data streams in dynamic environments, like assisted living and cognitive robotics, it can likewise be used to incorporate facts, rules, or queries provided by a user. As a result, we present the design and imple...
متن کاملSet Semantics and Operations Based Upon Answer Set Semantics
We propose to extend the language of extended logic programs by providing a declarative semantics for the use of sets as terms. Such an extension is intuitively natural, since humans frequently reason about collections of items. Our approach to defining a declarative semantics for sets differs from other approaches in that other approaches are very limited in their use of negation, and our appr...
متن کاملDescriptive Schema: Semantics-based Query Answering
We propose the novel concept of “descriptive schema” (DS). Unlike ordinary database schemas, a DS does not restrict the structure of the underlying database. Rather, it is just a probabilistic description of the structure. When answering keyword queries, DS can be used to improve semantics-based query answering and result ranking. 1 Schema: To have or not to have? Wikipedia is a rich repository...
متن کاملReconsidering Answer Set Semantics
Gelfond and Liftschitz (NGC, 1991) presented the seminal answer set semantics (i.e., the GL-semantics) for simple disjunctive programs, which has been taken as the standard answer set semantics in the literature. However, our recent observation shows that the GL-semantics has limitations because its unique rule head atom requirement is a bit too restrictive and may exclude some desired answer s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2016
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068416000478